generalized quantifier造句
例句與造句
- It is a special case of generalized quantifier.
- Stephen Neale, among others, has defended Russell's theory, and incorporated it into the theory of generalized quantifiers.
- Hoeksema has been instrumental in the study of negative polarity, and his work is part of the Dutch school of generalized quantifier theory.
- Combined with a noun, it yields a " generalized quantifier " of type \ langle \ langle e, t \ rangle, t \ rangle.
- A Lindstr鰉 quantifier is a polyadic generalized quantifier, so instead being a relation between subsets of the domain, it is a relation between relations defined on the domain.
- It's difficult to find generalized quantifier in a sentence. 用generalized quantifier造句挺難的
- Before we go on to Lindstr鰉's generalization, notice that any family of properties on dom ( " A " ) can be regarded as a monadic generalized quantifier.
- In a 1979 paper, Jon Barwise proposed variations of Hintikka sentences ( as the above is sometimes called ) in which the inner quantifiers are themselves generalized quantifiers, for example : " Most villagers and most townsmen hate each other ."
- Unfortunately, the general framework works well enough, but doesn't say much except in the case of unnatural, or uninteresting, classes; also, generalizing quantifiers is horrible, definitely something I would need to spend a while cleaning up .)
- He also published on finite and infinite combinatorics, and developed ( with his collaborators A . M . Sette and P . A . Veloso ) the modulated logics, a new kind of logics which allows the formalization of qualitative reasoning by means of special generalized quantifiers.
- He has also been active in the fields of philosophy of science, logical structures in natural language ( generalized quantifiers, categorial grammar, substructural proof theory ), dynamic logic and update logic and applications of logic to game theory as well as applications of game theory to logic ( game semantics ).
- Both semantic and pragmatics considerations attend this phenomenon, which following Discourse Representation Theory since the early 1980s, such as work by Kamp ( 1981 ) and Heim ( File Change Semantics, 1982 ), and Generalized Quantifier Theory, such as work by Barwise and Cooper ( 1981 ), was studied in a series of psycholinguistic experiments in the early 1990s by Moxey and Sanford ( 1993 ) and Sanford et al . ( 1994 ).